Generative methods for Urban design and rapid solution space exploration

A Power Aware Cache and Register File Design Space Exploration

Formal and Informal Methods for Multi-Core Design Space Exploration

We propose a tool-supported methodology for design-space exploration for embedded systems. It provides means to define high-level models of applications and multi-processor architectures and evaluate the performance of different deployment (mapping, scheduling) strategies while taking uncertainty into account. We argue that this extension of the scope of formal verification is important for the...

Deficiency of the Space Syntax method as an urban design tool in designing traditional urban space and the need for some supplementary methods

Urban design problems have become so complex that no single designer is able to consider all aspects of a design area simultaneously. Lately the application of computerized and scientific methods have helped designers analyze complex problems. One of these new methods is Space Syntax. The purpose of this study is to first investigate the strengths and weaknesses of this method and then suggest ...

TACO: Rapid Design Space Exploration for Protocol Processors

To meet the tightening requirements on network hardware, the design of programmable processors with networkoptimized hardware, that is, network or protocol processors, has recently attracted interest. In this paper we address the problem of evaluating different architectural configurations for such processors. The proposed methodology enables easy and fast experimentation with different protoco...

A solution methodology for exact design space exploration in a three-dimensional design space

| This paper describes an exact solution methodology, implemented in Rensselaer's Voyager design space exploration system, for solving the scheduling problem in a 3dimensional (3D) design space: the usual 2D design space (which trades o area and schedule length), plus a third dimension representing clock length. Unlike design space exploration methodologies which rely on bounds or estimates, th...